Constructible universe - PDFSEARCH.IO - Document Search Engine

Constructible universe
Results: 1309

#	Item
81	Online Appendix to “Stable Games and their Dynamics” Josef Hofbauer∗ and William H. Sandholm† January 10, 2009 O.1 Analysis of the War of Attrition Add to Reading List Source URL: www.ssc.wisc.edu Language: English - Date: 2009-01-28 11:09:55
82	How to share it out: The value of information in teams∗ Alex Gershkov♮ Jianpei Li♯ Add to Reading List Source URL: pluto.huji.ac.il Language: English - Date: 2015-12-24 20:56:52 Asymmetric information General topology Net Principalagent problem Constructible universe NC Mathematics Information Structure
83	Supraconvergence of a Non-Uniform Discretisation for an Elliptic Third-Kind Boundary-Value Problem with Mixed Derivatives Etienne Emmrich Technische Universit¨ Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2012-02-06 05:48:10 Mathematical analysis Fourier analysis Fractional calculus Sobolev space Constructible universe Partial differential equations Differential forms on a Riemann surface
84	Structure theorems for singular minimal laminations William H. Meeks III∗ Joaqu´ın P´erez Antonio Ros†, Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-02-10 20:21:23 3-manifold Geometric topology Limit of a function Constructible universe Foliation
85	Spectral Graph Theory and its Applications September 16, 2004 Lecture 5 Lecturer: Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2005-06-30 12:02:45 Mathematics Mathematical analysis Geometry Conformal mapping Projective geometry Riemann surfaces Planar graphs Complex analysis Differential geometry of surfaces Constructible universe Brouwer fixed-point theorem Stereographic projection
86	NONLINEAR WAVELET APPROXIMATION IN ANISOTROPIC BESOV SPACES Christopher Leisner Dartmouth College Abstract. We introduce new anisotropic wavelet decompositions associated with Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2001-06-28 05:54:16 Mathematical analysis Mathematics Operator theory Differential forms Approximation theory Besov space Modulus of smoothness Closed and exact differential forms Constructible universe Differential forms on a Riemann surface Modulus of continuity
87	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates James Brotherston ∗ Carsten Fuhs † Juan A. Navarro P´erez ‡ University College London Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:03:54 Logic Mathematics Abstraction Automated theorem proving Smooth functions Logic programming Logical truth Propositional calculus Substitution Well-formed formula Distribution Constructible universe
88	Online Speed Scaling Based on Active Job Count to Minimize Flow plus Energy Tak-Wah Lam∗ 1 Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2012-01-30 03:17:54 Circuit complexity NC Constructible universe
89	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Ordinal numbers Mathematics Abstraction Cardinal numbers Set theory Wellfoundedness Infinity Ordinal arithmetic Transfinite induction Constructible universe Aleph number
90	Specification and Complexity of Collaborative Text Editing Hagit Attiya Sebastian Burckhardt Alexey Gotsman Add to Reading List Source URL: software.imdea.org Language: English - Date: 2016-05-22 15:38:02 Communications protocol Data transmission IP State machine replication Constructible universe Computing Mathematics Creativity